Fast decision of strong bisimulation equivalence using partition refinement
- Författare
- Institutionen för informationsbehandling (Göteborg) Sven Westin
- (Lic.-avh. Göteborg : Chalmers tekn. högsk., 1989)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Dept of Computer Sciences | 1989 | Sverige, Göteborg | 75 sidor. |